basic
\\[0ex]StAntiSym($T$;$x$,$y$.$R$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. $\neg$($R$($x$;$y$) \& $R$($y$;$x$))